Ecuación diferencial parcial elíptica

En análisis matemático, una ecuación diferencial parcial elíptica es una ecuación en derivadas parciales tal que los coeficientes de las derivadas de grado máximo son positivos. Es la aplicación de un operador elíptico, un operador diferencial definido en un espacio de funciones que generaliza el operador laplaciano.

Definición

A continuación se muestran varias definiciones que se aplican a diferentes contextos. A veces es conveniente trabajar con definiciones que son válidas solo en contextos específicos, en lugar de utilizar definiciones generales.

Operador lineal elíptico

Un operador diferencial lineal $L$ de orden $m$ en un dominio $\Omega \subset \mathbb {R} ^{n}$:

$Lu=\sum _{|\alpha |\leq m}a_{\alpha }(x)\partial ^{\alpha }u\,$

se llama operador elíptico si para cada ${\vec {x}}\in \mathbb {R} ^{d}$ distinto de cero se tiene que:

$\sum _{|\alpha |=m}a_{\alpha }(x){\vec {x}}^{\alpha }\neq 0\qquad \forall x\in \Omega \quad \forall m\in \mathbb {N}$

En muchas aplicaciones se requiere un requisito más estricto, la condición de elipticidad uniforme, que se aplica a los operadores de grado par:

$(-1)^{k}\sum _{|\alpha |=2k}a_{\alpha }(x){\vec {x}}^{\alpha }>C|{\vec {x}}|^{2k}\qquad k\in \mathbb {N}$

donde $C$ es una constante positiva. Se observa que la elipticidad depende solo del término de grado máximo.

Operador elíptico completamente no lineal

Un operador no lineal:

$L(u)=F(x,u,(\partial ^{\alpha }u)_{|\alpha |\leq 2k})\,$

es elíptico si su expansión de primer orden en serie de Taylor con respecto a $u$ (y sus derivadas) son un operador lineal elíptico.

Operador elíptico completamente no lineal de segundo orden independiente de las primeras derivadas

Una definición alternativa para los operadores de segundo orden no lineales es la dada por Caffarelli-Niremberg-Spruck:

Sea ${\mathcal {S}}$ el espacio de matrices simétricas de dimensión $n\times n$. Si $\Omega \subset \mathbb {R} ^{n}$ es un dominio regular y $F\colon {\mathcal {S}}\times \Omega \to R$ es una función real, entonces, se dice que la función $F$ es uniformemente elíptica si hay dos constantes $\lambda \leq \Lambda$, llamadas constantes de elipticidad, de modo que para cada $M\in {\mathcal {S}}$ y $x\in \Omega$ se verifica

$\lambda \Vert P\Vert \leq F(M+P,x)\leq \Lambda \Vert P\Vert ,\;\forall P\geq 0,$

donde $P\geq 0$ se indica como una matriz simétrica, definita no negativa.​

La función $F$ define un operador diferencial de segundo orden, $O_{F}$, actuando sobre la matriz hessiana pareja en el ((punto $x$), punto $x$). Es decir, dada una función $u\colon \Omega \to R$ en $C^{2}(\Omega )$, la acción del operador $O_{F}$ se define como: $O_{F}(u)(x)=F(Hu(x),x),$ donde $Hu$ de la función u se indica con la matriz hessiana.

Operador elíptico completamente no lineal que actúa sobre funciones entre variedades

En general, sea $D$ un operador diferencial genérico (no lineal) definido en un fibrado vectorial. Reemplazar la derivada covariante con una nueva variable produce el símbolo $\sigma _{\vec {x}}(D)$ del operador con respecto a la 1-forma ${\vec {x}}$.

El operador $D$ es débilmente elíptico si $\sigma _{\vec {x}}(D)$ es un isomorfismo lineal para cualquier campo de cobertura ${\vec {x}}$ distinto de cero.

El operador $D$ es fuertemente elíptico si para alguna constante $c>0$:

$([\sigma _{\vec {x}}(D)](v),v)\geq c\|v\|^{2},$

para cada $\|{\vec {x}}\|=1$ y para cada $v$ del fibrado, siendo $(\cdot ,\cdot )$ un producto interior.

Operadores lineales de segundo orden

Considérense los operadores diferenciales parciales lineales de segundo orden de la forma:

$P\phi =\sum _{k,j}a_{kj}D_{k}D_{j}\phi +\sum _{\ell }b_{\ell }D_{\ell }\phi +c\phi ,$

donde $D_{k}={\frac {1}{\sqrt {-1}}}\partial _{x_{k}}$. Este operador es elíptico si para cada $x$ la matriz de los coeficientes de los términos de orden máximo:

${\begin{bmatrix}a_{11}(x)&a_{12}(x)&\cdots &a_{1n}(x)\\a_{21}(x)&a_{22}(x)&\cdots &a_{2n}(x)\\\vdots &\vdots &\ddots &\vdots \\a_{n1}(x)&a_{n2}(x)&\cdots &a_{nn}(x)\end{bmatrix}}$

es una matriz simétrica real definida positiva. En particular, para cada vector distinto de cero:

${\vec {\xi }}=(\xi _{1},\xi _{2},\ldots ,\xi _{n})$

se cumple la siguiente condición de elipticidad:

$\sum _{k,j}a_{kj}(x)\xi _{k}\xi _{j}>0$

Para muchos usos, esta condición no es lo suficientemente fuerte y, por lo tanto, debe reemplazarse por una condición de elipticidad uniforme:

$\sum _{k,j}a_{kj}(x)\xi _{k}\xi _{j}>C|\xi |^{2},$

donde $C$ es una constante positiva.

Si la matriz $A=(a_{k,j})_{k,j=0,\ldots ,n}=I$, donde $I$ indica la matriz identidad, el vector $b_{l}=0$ y la constante $c=0,$ entonces el operador previamente definido $P$ coincide con el operador laplaciano.

Laplaciano

Véase también: Operador de Laplace

Un ejemplo importante de operador elíptico es el laplaciano. Ecuaciones de la forma:

$Pu=0$

se denominan ecuaciones diferenciales parciales de tipo elíptico si $P$ es un operador elíptico. Las ecuaciones diferenciales parciales habituales que involucran el tiempo, como la ecuación del calor y la ecuación de Schrödinger, también contienen operadores elípticos que involucran variables espaciales, así como sus derivadas en función del tiempo. Los operadores elípticos son característicos de la teoría del potencial.

Sus soluciones, llamadas funciones armónicas, tienden a ser funciones suaves si los coeficientes del operador son continuos. Más simplemente, las soluciones estacionarias para las ecuaciones hiperbólicas y las ecuaciones parabólicas generalmente resuelven ecuaciones elípticas.

El opuesto del operador laplaciano en $\mathbb {R} ^{n}$, dado por:

$-\nabla ^{2}=\sum _{\ell =1}^{n}D_{\ell }^{2}$

es un operador uniformemente elíptico.

Operador de Pucci

Una clase importante de operadores elípticos completamente no lineales es la de los operadores de Pucci.

Sea $\mathbb {S}$ el espacio de matrices simétricas de dimensión $N\times N$ y sea $\lambda \in \mathbb {R}$ y $\Lambda \in \mathbb {R}$ tales que $0<\lambda \leq \Lambda$. Para cada $M\in {\mathcal {S}}$, los operadores de Pucci están bien definidos:

${\mathcal {M}}_{\lambda ,\Lambda }^{-}(M)=\lambda \sum _{e_{i}>0}e_{i}+\Lambda \sum _{e_{i}<0}e_{i}$

y

${\mathcal {M}}_{\lambda ,\Lambda }^{+}(M)=\Lambda \sum _{e_{i}>0}e_{i}+\lambda \sum _{e_{i}<0}e_{i},$

donde $e_{i}=e_{i}(M)$ son los autovalores de la matriz $M$. Sea ${\mathcal {A}}_{\lambda ,\Lambda }\in {\mathcal {S}}$ una matriz con autovalores en $[\lambda ,\Lambda ]$, entonces, indicando con ${\mathcal {tr}}(X)$ la traza de una matriz $X$, para cada $A\in {\mathcal {A}}_{\lambda ,\Lambda }$ el operador lineal está bien definido

$L_{A}(X)=\sum _{i,j=1}^{N}A_{i,j}X_{j,i}={\mathcal {tr}}(AX),$

para cada $X\in {\mathcal {S}}$. Dado que $M$ es una matriz simétrica, es congruente a través de una matriz ortogonal $O$ con una matriz diagonal $D$ o $M=ODO^{T}$. Por tanto, $L_{A}(M)={\mathcal {tr}}(AODO^{T})={\mathcal {tr}}(O^{T}AOD)={\mathcal {tr}}(A'D)$, con $A'\in {\mathcal {A}}_{\lambda ,\Lambda .}$ De donde se sigue que:

${\mathcal {M}}_{\lambda ,\Lambda }^{-}(M)=\inf _{A\in {\mathcal {A}}_{\lambda ,\Lambda }}L_{A}(M)$

y

${\mathcal {M}}_{\lambda ,\Lambda }^{+}(M)=\sup _{A\in {\mathcal {A}}_{\lambda ,\Lambda }}L_{A}(M)$

Además, si $F\colon \mathbb {S} \times \mathbb {R} \to \mathbb {R}$ es un operador elíptico con constantes de elipticidad $\lambda$ y $\Lambda$, tales que $F(0,x)=0$, entonces se cumple la siguiente propiedad fundamental:

${\mathcal {M}}_{\lambda ,\Lambda }^{-}(M)\leq F(M,x)\leq {\mathcal {M}}_{\lambda ,\Lambda }^{+}(M).$

Por lo dicho, los operadores de Pucci se denominan operadores extremales o extremos.​

Propiedades

• ${\mathcal {M}}_{\lambda ,\Lambda }^{-}(M)\leq {\mathcal {M}}_{\lambda ,\Lambda }^{+}(M);$
• $\lambda '\leq \lambda \leq \Lambda \leq \Lambda '$, luego ${\mathcal {M}}_{\lambda ',\Lambda '}^{-}(M)\leq {\mathcal {M}}_{\lambda ,\Lambda }^{-}(M)$ y ${\mathcal {M}}_{\lambda ',\Lambda '}^{+}(M)\geq {\mathcal {M}}_{\lambda ,\Lambda }^{+}(M);$
• ${\mathcal {M}}_{\lambda ,\Lambda }^{-}(M)=-{\mathcal {M}}_{\lambda ,\Lambda }^{+}(-M);$
• ${\mathcal {M}}_{\lambda ,\Lambda }^{\pm }(\alpha M)=\alpha {\mathcal {M}}_{\lambda ,\Lambda }^{\pm }(M)$ para cada $\alpha \geq 0;$
• ${\mathcal {M}}_{\lambda ,\Lambda }^{+}(M)+{\mathcal {M}}_{\lambda ,\Lambda }^{-}(P)\leq {\mathcal {M}}_{\lambda ,\Lambda }^{+}(M+P)\leq {\mathcal {M}}_{\lambda ,\Lambda }^{+}(M)+{\mathcal {M}}_{\lambda ,\Lambda }^{+}(P);$
• ${\mathcal {M}}_{\lambda ,\Lambda }^{-}(M)+{\mathcal {M}}_{\lambda ,\Lambda }^{-}(P)\leq {\mathcal {M}}_{\lambda ,\Lambda }^{-}(M+P)\leq {\mathcal {M}}_{\lambda ,\Lambda }^{-}(M)+{\mathcal {M}}_{\lambda ,\Lambda }^{+}(P);$
• $P\geq 0$ (definita positiva), luego $\lambda \Vert P\Vert \leq {\mathcal {M}}_{\lambda ,\Lambda }^{-}(P)\leq {\mathcal {M}}_{\lambda ,\Lambda }^{+}(P)\leq \Lambda \Vert P\Vert ;$
• ${\mathcal {M}}_{\lambda ,\Lambda }^{-}(M)$ y ${\mathcal {M}}_{\lambda ,\Lambda }^{+}(M)$ son operadores uniformemente elípticos con constantes de elipticidad $\lambda$ y $N\Lambda$.​

Teoremas de existencia de una solución

Para las ecuaciones definidas por operadores elípticos, existen varios teoremas de existencia. Las estrategias de demostración de estos teoremas se dividen en cuatro categorías principales. Siendo $T$ un operador elíptico apropiado no necesariamente lineal actuando sobre un espacio funcional, la ecuación se puede escribir en la forma $T(u)=0$ (donde $u$ es la función desconocida), luego las estrategias se pueden resumir de la siguiente manera:

• Topológicas (punto fijo). Estas pruebas se basan en la disponibilidad del teorema del punto fijo en los espacios funcionales apropiados. Estos métodos consisten en definir un operador $T'$ como $T'(u)=T(u)-u.$ Entonces, la ecuación inicial se puede reescribir como $T'(u)=u$ vinculando la solución de la ecuación a un problema de punto fijo.

• Variacionales (mínimo/máximo). Estas demostraciones se basan en la disponibilidad de teoremas de mínimos y máximos (similares al teorema de Weierstrass) para operadores que actúan en un espacio funcional adecuado, con valores en $\mathbb {R}$. Sea $t$ una primitiva de $T$, es decir, un operador tal que su derivada de Fréchet sea $T$. Entonces, los puntos mínimo y máximo para $t$ corresponden a las soluciones de la ecuación. Aunque existen soluciones que no corresponden a mínimos o máximos de la primitiva de $T$, estas soluciones son de gran interés porque son en cierto sentido soluciones estables (mínimos) e inestables (máximos).
• Lax-Milgram. Estas demostraciones se basan en el lema de Lax-Milgram. Sea $L$ un operador elíptico lineal adecuado. Se puede escribir una gran clase de ecuaciones elípticas en la forma $L(u)=f,$ siendo $u$ una función desconocida y $f$ una función conocida. Si el espacio en el que se busca la solución es un espacio de Hilbert, y por lo tanto está equipado con producto interior, si el operador $T$ es simétrico con respecto a este producto y si $f$ satisface las hipótesis adecuadas, entonces el lema de Lax-Milgram asegura la existencia de una solución.
• Aproximaciones en subespacios. Estas demostraciones se basan en rastrear el problema, a través de proyecciones, hasta una sucesión de problemas finitos en subespacios que son más fáciles de resolver, construyendo así una sucesión de soluciones que luego se demuestra que convergen a la solución del problema inicial.​

Algunas demostraciones, muy raramente, utilizan el teorema del paso de montaña para probar la existencia de una o más soluciones.

Debe tenerse en cuenta que estas estrategias a menudo prueban la existencia de soluciones débiles; en algunos casos, utilizando identidades como la de Pohozaev y desigualdades como la de Hölder se puede demostrar que la solución encontrada se encuentra en un espacio de Sóbolev $W^{k,p}$, con $k>{\frac {d}{p}},$ donde $d$ es el tamaño del espacio donde se está trabajando. Entonces, gracias a los teoremas de inmersión de Sóbolev, es posible probar que tales soluciones débiles corresponden a soluciones clásicas.

A continuación se presentan algunos resultados de la existencia de soluciones para ecuaciones elípticas particularmente importantes.

Ecuaciones de Dirichlet no homogéneas

Dada la ecuación

${\begin{cases}-\Delta u(x)=f(x),&\forall x\in \Omega ,\\u(x)=\varphi (x),&\forall x\in \partial \Omega ,\end{cases}}$

entonces bajo hipótesis apropiadas de regularidad del dominio $\Omega \subset \mathbb {R} ^{n}$, de la función $f\colon \Omega \to \mathbb {R}$ y de la función $\varphi \colon \partial \Omega \to \mathbb {R}$ se tiene la existencia y unicidad de la solución clásica.

Una solución, cuando existe, para el teorema de representación de Green es de la forma

$u(x)=\int _{\partial \Omega }u(y){\frac {\partial G}{\partial \nu }}(x,y)d\sigma (x)+\int _{\Omega }g(x,y)f(x)dx,$

donde $G\colon \Omega \times \Omega \to \mathbb {R}$ es la función de Green del operador laplaciano en el dominio $\Omega$.​

Sea $\xi \in \partial \Omega$ un punto en el límite de $\Omega$, entonces una función $\omega =\omega _{\xi }$ se llama barrera (con respecto al Laplaciano) en $\xi$ en relación con $\omega$ si

• $\Delta \omega (x)\geq 0$ para cada $x$ en $\Omega$;
• $\omega >0$ en $\Omega$.​

Se dice que un punto $\xi \in \partial \Omega$ es regular (con respecto al laplaciano) si hay una barrera en ese punto.​

En un dominio con contorno lipschitziano continuo, todos los puntos del borde son regulares.

Enunciado del teorema

Sea $\Omega$ un dominio acotado y cada punto de $\partial \Omega$ sea un punto regular (con respecto al laplaciano). Entonces, si $f$ está acotada y es localmente hölderiana en $\Omega$, el problema de Dirichlet mencionado anteriormente admite una solución clásica y única $\varphi$ para cada condición de frontera continua.​

Corolario

Sea $\Omega$ un dominio limitado regular (con respecto al Laplaciano), entonces existe una única solución, la solución clásica al problema Dirichlet ($f=0$).

Ecuaciones semilineales

Dada la ecuación

${\begin{cases}-\Delta u(x)=g(x,u(x)),&\forall x\in \Omega ,\\u(x)=\varphi (u),&\forall x\in \partial \Omega ,\end{cases}}$

entonces bajo hipótesis apropiadas de regularidad del dominio $\Omega \subset \mathbb {R} ^{n}$, de la función $g\colon {\bar {\Omega }}\times \mathbb {R} \to \mathbb {R}$ y de la función $\varphi :\partial \Omega \to \mathbb {R}$ se deduce la existencia y la unicidad de la solución clásica.

Enunciado del teorema

Sea $\Omega \subset \mathbb {R} ^{n}$ un conjunto abierto acotado con frontera regular y sea $g\colon {\bar {\Omega }}\times \mathbb {R} \to \mathbb {R}$ una función continua que satisfaga las siguientes condiciones:

1. $\vert g(x,s)\vert \leq c\vert s\vert ^{p-1}+h$, donde $c$ y $h$ son dos constantes positivas y si $n=2$ entonces $2<p<\infty$ y si $n>2$ ahora $2<p<{\frac {2n}{n-2}};$
2. $g(x,s)=o(\vert s\vert )$ per $s\to 0$, uniformemente en $x;$
3. existe un $\alpha >2$ y $r>0$, tal que para que $\vert s\vert >r$ valga $0<\alpha G(x,s)\leq sg(x,s)$, ($sg(x,s)>0$, para cada $s$ con $\vert s\vert >0$), donde $G(x,s)=\int _{0}^{s}g(x,\tau )d\tau ;$

tiene una solución (débil) $u>0$ en un espacio de Hilbert $H_{0}^{1}(\Omega )$. Además, si $g$ es localmente hölderiana en ${\bar {\Omega }}\times \mathbb {R}$, entonces $u$ es una solución clásica y positiva.

Las condiciones de este teorema a menudo se denominan condiciones de crecimiento subcríticas para la función $g$, donde el coeficiente de criticidad $q^{*}={\frac {2n}{n-2}}$ es el coeficiente crítico de inmersión de los espacios de Sóbolev $W^{1,q}\hookrightarrow L^{q^{*}}$ ($q^{*}$ es el conjugado de $q$).​

Véase también

• Ecuación hiperbólica en derivadas parciales
• Ecuación parabólica en derivadas parciales
• Operador laplaciano
• Principio del máximo de Hopf

Bibliografía

• Evans, Lawrence C. (1998). American Mathematical Society, ed. Partial Differential Equations (en inglés). ISBN 0-8218-0772-2. 

Enlaces externos

• Portal:Matemáticas. Contenido relacionado con Matemáticas.
• A.B. Ivanov (2001), «Ecuación diferencial parcial elíptica», en Hazewinkel, Michiel, ed., Encyclopaedia of Mathematics (en inglés), Springer, ISBN 978-1556080104 .
• V.B. Andreev (2001), «Ecuación diferencial parcial elíptica», en Hazewinkel, Michiel, ed., Encyclopaedia of Mathematics (en inglés), Springer, ISBN 978-1556080104 .
• (en inglés) Ecuaciones elípticas lineales en EqWorld: El mundo de las ecuaciones matemáticas.
• (en inglés) Ecuaciones elípticas no lineales en EqWorld: El mundo de las ecuaciones matemáticas.

• Datos: Q3607962